Mathematical Aspects of Computer Science
نویسندگان
چکیده
منابع مشابه
Mathematical Logic for Computer Science - 2nd Edition
logic in computer science solution manual PDF logic in computer science huth ryan solutions PDF logic in computer science modelling and reasoning about systems PDF mathematical structures for computer science PDF symbolic rewriting techniques progress in computer science and applied logic PDF handbook of logic in computer science volume 2 background computational structures PDF logic mathematic...
متن کاملGlobal properties of a tuberculosis model with lost sight and multi-compartment of latents
A tuberculosis (TB) model with lost sight and multiple latent classes is considered and studied. We derive the basic reproduction ratio $mathcal R_0$. There is always a globally asymptotically stable equilibrium state. Depending on the value of $mathcal{R}_0$, this state can be either endemic ($mathcal{R}_0> 1$), or infection-free ($mathcal{R}_0leq 1$). The global asymptotic stability of ...
متن کاملIdentifiability of Dynamic Stochastic General Equilibrium Models with Covariance Restrictions
This article is concerned with identification problem of parameters of Dynamic Stochastic General Equilibrium Models with emphasis on structural constraints, so that the number of observable variables is equal to the number of exogenous variables. We derived a set of identifiability conditions and suggested a procedure for a thorough analysis of identification at each point in the parameters sp...
متن کاملAlmost power-Hermitian rings
In this paper we define a new type of rings ”almost powerhermitian rings” (a generalization of almost hermitian rings) and establish several sufficient conditions over a ring R such that, every regular matrix admits a diagonal power-reduction.
متن کاملAn Analysis of Some Aspects of Component-based Programming for Selecting Appropriate Categorical Structures as Their Models
Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques necessary for those who are working with theoretical background in computer science. Categories are interesting mathematical structures which have become...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006